C. A. R. Hoare (auth.): البحث على موقع Z-Library

حرية الوصول إلى المعرفة والثقافة.

Don't use scam websites

1

Biotechnology and Genetics in Fisheries and Aquaculture, Second Edition

Biotechnology and Genetics in Fisheries and Aquaculture, Second Edition

Wiley-Blackwell

Andy Beaumont, Pierre Boudry, Kathrin Hoare(auth.)

عام:

2010

اللغة:

english

ملف:

PDF, 26.04 MB

0 / 0

english, 2010

2

Advanced Lectures on Software Engineering: LASER Summer School 2007/2008

Advanced Lectures on Software Engineering: LASER Summer School 2007/2008

Springer-Verlag Berlin Heidelberg

Tony Hoare (auth.), Peter Müller (eds.)

عام:

2010

اللغة:

english

ملف:

PDF, 2.44 MB

0 / 0

english, 2010

3

Exploring University Mathematics. Lectures Given at Bedford College, London, Volume 3

Exploring University Mathematics. Lectures Given at Bedford College, London, Volume 3

Mary Bradburn, G. T. Kneebone, M. R. Hoare and N. J. Hardiman (Auth.)

عام:

1969

اللغة:

english

ملف:

PDF, 5.64 MB

0 / 0

english, 1969

4

VDM '90 VDM and Z — Formal Methods in Software Development: Third International Symposium of VDM Europe Kiel, FRG, April 17–21, 1990 Proceedings

VDM '90 VDM and Z — Formal Methods in Software Development: Third International Symposium of VDM Europe Kiel, FRG, April 17–21, 1990 Proceedings

Springer-Verlag Berlin Heidelberg

Ole-Johan Dahl (auth.), D. Bjørner, C. A. R. Hoare, H. Langmaack (eds.)

عام:

1990

اللغة:

english

ملف:

DJVU, 6.60 MB

0 / 0

english, 1990

5

Metals in Biochemistry

Metals in Biochemistry

Springer Netherlands

P. M. Harrison, R. J. Hoare (auth.)

عام:

1980

اللغة:

english

ملف:

PDF, 4.76 MB

0 / 3.0

english, 1980

6

Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004

Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004

Springer Netherlands

Ralph-Johan Back (auth.), Manfred Broy, Johannes Grünbauer, David Harel, Tony Hoare (eds.)

عام:

2005

اللغة:

english

ملف:

PDF, 6.11 MB

0 / 0

english, 2005

7

Downstream Processing

Downstream Processing

Springer-Verlag Berlin Heidelberg

D. J. Bell, M. Hoare, P. Dunnill (auth.)

عام:

1983

اللغة:

english

ملف:

PDF, 3.08 MB

0 / 0

english, 1983

8

Euro-Par 2003 Parallel Processing: 9th International Euro-Par Conference Klagenfurt, Austria, August 26-29, 2003 Proceedings

Euro-Par 2003 Parallel Processing: 9th International Euro-Par Conference Klagenfurt, Austria, August 26-29, 2003 Proceedings

Springer-Verlag Berlin Heidelberg

C. A. R. Hoare (auth.), Harald Kosch, László Böszörményi, Hermann Hellwagner (eds.)

عام:

2003

اللغة:

english

ملف:

PDF, 19.01 MB

0 / 0

english, 2003

9

Perspectives of System Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revised Papers

Perspectives of System Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revised Papers

Springer-Verlag Berlin Heidelberg

Tony Hoare (auth.), Manfred Broy, Alexandre V. Zamulin (eds.)

عام:

2003

اللغة:

english

ملف:

PDF, 7.03 MB

0 / 0

english, 2003

10

Advanced Lectures on Software Engineering: LASER Summer School 2007/2008

Advanced Lectures on Software Engineering: LASER Summer School 2007/2008

Springer-Verlag Berlin Heidelberg

Tony Hoare (auth.), Peter Müller (eds.)

عام:

2010

اللغة:

english

ملف:

PDF, 3.12 MB

0 / 0

english, 2010

11

Studies in the Atmospheric Sciences

Studies in the Atmospheric Sciences

Springer-Verlag New York

L. Mark Berliner, Douglas A. Nychka, Timothy J. Hoar (auth.), L. Mark Berliner, Douglas Nychka, Timothy Hoar (eds.)

عام:

2000

اللغة:

english

ملف:

PDF, 5.77 MB

0 / 0

english, 2000

12

Perspectives of System Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revised Papers

Perspectives of System Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revised Papers

Springer-Verlag Berlin Heidelberg

Tony Hoare (auth.), Manfred Broy, Alexandre V. Zamulin (eds.)

عام:

2003

اللغة:

english

ملف:

PDF, 5.85 MB

0 / 0

english, 2003

13

Advanced Lectures on Software Engineering: LASER Summer School 2007/2008

Advanced Lectures on Software Engineering: LASER Summer School 2007/2008

Springer-Verlag Berlin Heidelberg

Tony Hoare (auth.), Peter Müller (eds.)

عام:

2010

اللغة:

english

ملف:

PDF, 2.47 MB

0 / 0

english, 2010

14

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I

Springer-Verlag Berlin Heidelberg

C. A. R. Hoare (auth.), Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.)

عام:

1999

اللغة:

english

ملف:

PDF, 14.06 MB

0 / 0

english, 1999

15

Advanced Lectures on Software Engineering: LASER Summer School 2007/2008

Advanced Lectures on Software Engineering: LASER Summer School 2007/2008

Springer-Verlag Berlin Heidelberg

Tony Hoare (auth.), Peter Müller (eds.)

عام:

2010

اللغة:

english

ملف:

PDF, 2.55 MB

0 / 0

english, 2010

16

Application and Theory of Petri Nets: 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings

Application and Theory of Petri Nets: 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Tony Hoare (auth.), Serge Haddad, Lucia Pomello (eds.)

عام:

2012

اللغة:

english

ملف:

PDF, 9.94 MB

0 / 5.0

english, 2012

17

Higher Education, Social Class and Social Mobility: The Degree Generation

Higher Education, Social Class and Social Mobility: The Degree Generation

Palgrave Macmillan UK

Ann-Marie Bathmaker, Nicola Ingram, Jessie Abrahams, Anthony Hoare, Richard Waller, Harriet Bradley (auth.)

عام:

2016

اللغة:

english

ملف:

PDF, 1.95 MB

0 / 0

english, 2016

18

Correct System Design: Recent Insights and Advances

Correct System Design: Recent Insights and Advances

Springer-Verlag Berlin Heidelberg

C. A. R. Hoare (auth.), Ernst-Rüdiger Olderog, Bernhard Steffen (eds.)

عام:

1999

اللغة:

english

ملف:

PDF, 5.79 MB

0 / 0

english, 1999

19

Integrated Formal Methods: Second International Conference, IFM 2000 Dagstuhl Castle, Germany, November 1–3,2000 Proceedings

Integrated Formal Methods: Second International Conference, IFM 2000 Dagstuhl Castle, Germany, November 1–3,2000 Proceedings

Springer-Verlag Berlin Heidelberg

Tony Hoare (auth.), Wolfgang Grieskamp, Thomas Santen, Bill Stoddart (eds.)

عام:

2000

اللغة:

english

ملف:

PDF, 3.20 MB

0 / 0

english, 2000

20

ECOOP’ 99 — Object-Oriented Programming: 13th European Conference Lisbon, Portugal, June 14–18, 1999 Proceedings

ECOOP’ 99 — Object-Oriented Programming: 13th European Conference Lisbon, Portugal, June 14–18, 1999 Proceedings

Springer-Verlag Berlin Heidelberg

C. A. R. Hoare, He Jifeng (auth.), Rachid Guerraoui (eds.)

عام:

1999

اللغة:

english

ملف:

PDF, 4.47 MB

0 / 0

english, 1999

21

Language Hierarchies and Interfaces: International Summer School

Language Hierarchies and Interfaces: International Summer School

Springer-Verlag Berlin Heidelberg

E. W. Dijkstra (auth.), Prof. Dr. Dr. h.c. Dr. Friedrich L. Bauer, E. W. Dijkstra, A. Ershov, M. Griffiths, C. A. R. Hoare, W. A. Wulf, Prof. Dr. Klaus Samelson (eds.)

عام:

1976

اللغة:

english

ملف:

PDF, 17.21 MB

0 / 0

english, 1976

22

Application and Theory of Petri Nets: 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings

Application and Theory of Petri Nets: 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Tony Hoare (auth.), Serge Haddad, Lucia Pomello (eds.)

عام:

2012

اللغة:

english

ملف:

PDF, 9.09 MB

0 / 0

english, 2012

23

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I

Springer-Verlag Berlin Heidelberg

C. A. R. Hoare (auth.), Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.)

عام:

1999

اللغة:

english

ملف:

PDF, 10.75 MB

0 / 0

english, 1999

24

Language Hierarchies and Interfaces: International Summer School

Language Hierarchies and Interfaces: International Summer School

Springer-Verlag Berlin Heidelberg

E. W. Dijkstra (auth.), Prof. Dr. Dr. h.c. Dr. Friedrich L. Bauer, E. W. Dijkstra, A. Ershov, M. Griffiths, C. A. R. Hoare, W. A. Wulf, Prof. Dr. Klaus Samelson (eds.)

عام:

1976

اللغة:

english

ملف:

PDF, 9.08 MB

0 / 0

english, 1976

25

International Symposium on Theoretical Programming

International Symposium on Theoretical Programming

Springer-Verlag Berlin Heidelberg

C. A. R. Hoare (auth.), Andrei Ershov, Valery A. Nepomniaschy (eds.)

عام:

1974

اللغة:

english

ملف:

PDF, 9.22 MB

0 / 0

english, 1974

26

FME'96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3 Oxford, UK, March 18–22, 1996 Proceedings

FME'96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3 Oxford, UK, March 18–22, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

C. A. R. Hoare (auth.), Marie-Claude Gaudel, James Woodcock (eds.)

عام:

1996

اللغة:

english

ملف:

DJVU, 6.04 MB

0 / 0

english, 1996

27

Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

Springer-Verlag Berlin Heidelberg

Tony Hoare, Jay Misra (auth.), Bertrand Meyer, Jim Woodcock (eds.)

عام:

2008

اللغة:

english

ملف:

PDF, 7.65 MB

0 / 0

english, 2008

28

International Symposium on Theoretical Programming

International Symposium on Theoretical Programming

Springer-Verlag Berlin Heidelberg

C. A. R. Hoare (auth.), Andrei Ershov, Valery A. Nepomniaschy (eds.)

عام:

1974

اللغة:

english

ملف:

DJVU, 3.01 MB

0 / 0

english, 1974

29

Correct System Design: Recent Insights and Advances

Correct System Design: Recent Insights and Advances

Springer-Verlag Berlin Heidelberg

C. A. R. Hoare (auth.), Ernst-Rüdiger Olderog, Bernhard Steffen (eds.)

عام:

1999

اللغة:

english

ملف:

PDF, 6.13 MB

0 / 0

english, 1999

30

Downstream Processing

Downstream Processing

Springer-Verlag Berlin Heidelberg

D. J. Bell, P. Dunnill, K. Esser, E. Flaschel, M. Hoare, J. Holló, M.-R. Kula, Ch. Lang-Hinrichs, L. Nyeste, M. Pécs, B. Sevella, Ch. Wandrey (auth.)

عام:

1983

اللغة:

english

ملف:

PDF, 5.35 MB

0 / 0

english, 1983

31

Foundations of Software Technology and Theoretical Computer Science: Fifth Conference, New Delhi, India December 16–18, 1985 Proceedings

Foundations of Software Technology and Theoretical Computer Science: Fifth Conference, New Delhi, India December 16–18, 1985 Proceedings

Springer-Verlag Berlin Heidelberg

C. A. R. Hoare (auth.), S. N. Maheshwari (eds.)

عام:

1985

اللغة:

english

ملف:

DJVU, 4.36 MB

0 / 0

english, 1985

32

VDM '90 VDM and Z — Formal Methods in Software Development: Third International Symposium of VDM Europe Kiel, FRG, April 17–21, 1990 Proceedings

VDM '90 VDM and Z — Formal Methods in Software Development: Third International Symposium of VDM Europe Kiel, FRG, April 17–21, 1990 Proceedings

Springer-Verlag Berlin Heidelberg

Ole-Johan Dahl (auth.), D. Bjørner, C. A. R. Hoare, H. Langmaack (eds.)

عام:

1990

اللغة:

english

ملف:

PDF, 6.90 MB

0 / 0

english, 1990

33

TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989

TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989

Springer-Verlag Berlin Heidelberg

C. A. R. Hoare (auth.), Josep Díaz, Fernando Orejas (eds.)

عام:

1989

اللغة:

english

ملف:

DJVU, 3.99 MB

0 / 0

english, 1989

34

Language Hierarchies and Interfaces: International Summer School

Language Hierarchies and Interfaces: International Summer School

Springer-Verlag Berlin Heidelberg

E. W. Dijkstra (auth.), Prof. Dr. Dr. h.c. Dr. Friedrich L. Bauer, E. W. Dijkstra, A. Ershov, M. Griffiths, C. A. R. Hoare, W. A. Wulf, Prof. Dr. Klaus Samelson (eds.)

عام:

1976

اللغة:

english

ملف:

DJVU, 2.65 MB

0 / 0

english, 1976

35

Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

Springer-Verlag Berlin Heidelberg

Tony Hoare, Jay Misra (auth.), Bertrand Meyer, Jim Woodcock (eds.)

عام:

2008

اللغة:

english

ملف:

PDF, 3.09 MB

0 / 0

english, 2008

36

Correct System Design: Recent Insights and Advances

Correct System Design: Recent Insights and Advances

Springer-Verlag Berlin Heidelberg

C. A. R. Hoare (auth.), Ernst-Rüdiger Olderog, Bernhard Steffen (eds.)

عام:

1999

اللغة:

english

ملف:

PDF, 5.53 MB

0 / 0

english, 1999

37

Correct System Design: Recent Insights and Advances

Correct System Design: Recent Insights and Advances

Springer-Verlag Berlin Heidelberg

C. A. R. Hoare (auth.), Ernst-Rüdiger Olderog, Bernhard Steffen (eds.)

عام:

1999

اللغة:

english

ملف:

DJVU, 1.59 MB

0 / 0

english, 1999

38

TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989

TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989

Springer-Verlag Berlin Heidelberg

C. A. R. Hoare (auth.), Josep Díaz, Fernando Orejas (eds.)

عام:

1989

اللغة:

english

ملف:

PDF, 9.54 MB

0 / 0

english, 1989